Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
901	Lex and Yacc: A Brisk Tutorial Saumya K. Debray Department of Computer Science The University of Arizona Tucson, AZ 85721 Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2013-01-28 06:27:18 Formal languages Procedural programming languages Parser generators Compiling tools Cross-platform software Regular expression Lex C ALGOL 68 Computing Software engineering Computer programming
902	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: mirrors.nic.cz Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
903	Program Verification as Satisfiability Modulo Theories Nikolaj Bjørner Microsoft Research Ken McMillan Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-08-15 16:20:10 Applied mathematics Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Boolean satisfiability problem Prolog Predicate transformer semantics Theoretical computer science Mathematics Formal methods
904	Preventing Arithmetic Overflows in Alloy Aleksandar Milicevica,∗, Daniel Jacksona a Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-07-07 17:53:08 Model theory Semantics Predicate logic Formal languages Metalogic First-order logic Alloy Analyzer Alloy Integer overflow Logic Mathematical logic Mathematics
905	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.xl-mirror.nl Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
906	PDF Document Add to Reading List Source URL: www.questionpro.com Language: English - Date: 2012-11-06 01:18:17 Data analysis Natural language processing Statistical natural language processing Formal sciences Text analytics Analytics Survey methodology Usability Web analytics Statistics Science Knowledge
907	GridR: An R-based grid-enabled tool for data analysis in ACGT clinicogenomics trials Dennis Wegener Fraunhofer IAIS Schloss BirlinghovenSt. Augustin, Germany + Add to Reading List Source URL: www.stefan-rueping.de Language: English - Date: 2007-10-05 14:11:59 Formal sciences Data analysis R Bioconductor Grid computing Data mining Weka Bioinformatics Globus Toolkit Statistics Software Science
908	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: mirror.mdx.ac.uk Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
909	Special Section: Call for Papers Announcing a Special Section in IEEE Access: Big Data Services and Computational Intelligence for Industrial Systems Submission Deadline: October 10, 2015 Add to Reading List Source URL: www.cybermatics.org Language: English - Date: 2015-04-08 20:51:16 Knowledge Data analysis Institute of Electrical and Electronics Engineers Statistics Analytics Data mining Computer science Machine learning Jacek M. Zurada Formal sciences Science Business intelligence
910	ARSPA 2004 Preliminary Version Believing the Integrity of a System (Invited Talk) Simon N. Foley 1,2 Department of Computer Science Add to Reading List Source URL: www.cs.ucc.ie Language: English - Date: 2004-10-08 09:12:34 Ethics Crime prevention National security Evaluation Electronic commerce Integrity Formal verification Trusted Computer System Evaluation Criteria Computer security Security Computer network security

UPDATE